25. ......................
المؤلف: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
26. AADEBUG 2005 : proceedings of the Sixth International Symposium on Automated & Analysis-Driven Debugging, Monterey, California, USA, September 19-21, 2005
المؤلف: sponsored by ACM SIGPLAN & ACM SIGSOFT
المکتبة: (طهران)
موضوع: Congresses ، Debugging in computer science
رده :
QA
76
.
9
.
D43A23
2005
27. AI 2011 :
المؤلف: Dianhui Wang, Mark Reynolds (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses
رده :
Q334
.
A97
2011
28. AI 2018 :
المؤلف: Tanja Mitrovic, Bing Xue, Xiaodong Li, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.,Computer science.,Computer software.,Computer vision.,Software engineering.
رده :
Q334
29. AI approaches to the complexity of legal systems :
المؤلف: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
30. ASE 2000: 15e Conference International IEEE sur l'Automatisation du Genie Logiciel 11-15 September 2000, Grenoble, France = The Fifteenth IEEE Intenational Conference on Automated Software Engineering: Greoble, France, 11-15 September, 2000
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I32
2000
31. ASE 2000 : 15e conference internationale IEEE sur l automatisation du genie logiciel: 11-15 September 2000, Grenoble, France
المؤلف: Sponsored by: Universite Joseph Fourier ... ]et al.[
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
I32
2000
32. Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings
المؤلف: edited by D. Bjorner
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
86
33. Abstract software specifications, 1979 Copenhagen Winter School, January 22-February 2, 1979
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital Computers-- Programming-- Congresses
رده :
QA
76
.
6
.
W51
1979
34. Abstract software specifications : 1979 Copenhagen Winter school : proceedings
المؤلف: edited by D. Bjorner
المکتبة: (طهران)
موضوع: Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
86
35. Accelerator programming using Directives :
المؤلف: Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses.,High performance computing, Congresses.,Computer programming.,High performance computing.
رده :
QA76
.
751
36. Active and programmable networks :
المؤلف: David Hutchison ... [et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
37. Active and programmable networks
المؤلف: David Hutchison ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application program interfaces (Computer software), Congresses,Computer networks, Congresses
رده :
TK5105
.
5
.
I93
2009
38. Active and programmable networks :
المؤلف: David Hutchison ... [et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
39. Active networks
المؤلف: / Gary J. Minden ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer networks--Congresses,Application program interfaces (Computer software)--Congresses,Microcomputers--Programming--Congresses
رده :
TK
,
5105
.
5
,.
I95
,
2004
40. Active networks : First International Working Conference, IWAN'99, Berlin, Germany, June 30-July 2, 1999 : proceedings
المؤلف: Stefan Covaci )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
1653
